Issue #1819 was fixed.