Issue #2640 was fixed.