some minor corrections and editing