Issue #1694 was fixed.