Issue #3006 was fixed.