small formatting fix.