Issue #3052 was fixed.