Corrections called for by 54fc09532f11cdcb093fef071c1df979cff2ad6c