Issue #2859 was fixed.