Issue #1885 was fixed.