fixed some small formatting issues