Issue #1912 was fixed.