Fixed a bug in hash kode.