Corrections following comments