Some small formatting fixes.