Some small formatting cleanup