Another minor issue with GetHashCode