Fixing hashcode() bug