Fix incorrect hashCode type