Minor tweak re zipping files