Another small formatting improvement