fix small formatting issues