Issue #2500 was fixed.