Issue #3069 was fixed.