fixed a small formatting issue