Some small formatting changes