Fix hashCode()