fix small formatting issue