one more small formatting fix