Minor fix for pickleutil