Another small formatting fix