fix small formatting problem