Minor changes in the hashing