corrections and formatting changes