Typos and some formatting changes