Issue #1703 was fixed.