Fix a small formatting error