Issue #2857 was fixed.