Issue #2180 was fixed.