minor change to the fix of #2713