Some fixes in the comments and in the hash function