small formatting fixes.