fix some small formatting issues