comments minors corrections