Two small formatting fixes