small formatting bug