Issue #2793 was fixed.