Fix small formatting inconsistency.