Fixes to zipping (seems to work correctly in Chrome now).