Issue #856 was fixed.