Some small formatting issues fixed