slight improvements in zipFull