Another small formatting change.