some small formatting changes