Issue #1884 was fixed.