Issue #2400 was fixed.