Issue #2100 was fixed.