Proper GetHashCode.