several minor corrections