another small formatting change