There is a bug in the hashvalue computation