a few small formatting fixes