another small formatting fix