small formatting fixes