get stdhash to be happy