Fix bug in collection delete, thanks to QuickCheck ;) .