GetHashCode() tweak

Considerably simpler and retrospectively obvious GetHashCode() with the
same non-collision range as the one from yesterday.