Corrigendum and addenda to the paper “Convenient vector spaces embed...” A. Kock; G. E. Reyes — 1987 Cahiers de Topologie et Géométrie Différentielle Catégoriques