corrected bug in hashCode