Define a __hash__ to quiet down a -3 warning