Issue #2831 was fixed.