Corrections to
Instances of computational effects
Proc. LICS 2013.
Sam Staton.

VII.B. Ctx1 is a finite coproduct completion of Ctx0^op.
It is _not_ a finite coproduct completion of Ctx0.

VIII.B.(3). Inj1 is a finite coproduct completion of Inj0^op.
It is _not_ a finite coproduct completion of Inj0.

(These are typos, in that I did not mean to write what is written, and
so the rest of the text is not affected.)

Acknowledgement: Thanks to Martin Hyland for pointing these out.