Another small formatting fix.