Adding the hash function makes the dictionary behave again :-)