bugfix in hash calculation of sets