hotfix for the bug in Collection.subsetOf