Fix small formatting issue