Fix to hash() method bug whereby two different EnumValues can return the same hash