Typo fixing, formatting changes