Issue #1935 was fixed.