Issue #2440 was fixed.