fixing small formatting glitches