Issue #2720 was fixed.