minor corrections and formatting