W-types in homotopy-type theory - CORRIGENDUM