Issue #1707 was fixed.