One small formatting fix