Fix small formatting issue in commentary