Corrigendum: Polymorphic Type Assignment and CPS Conversion