Issue #1909 was fixed.