Fixed a small formatting issue