Issue #2071 was fixed.