Typo fixing and small formatting changes