One more small formatting change