more small formatting fixes