Fixing zip4 for #383