*Really* accept mixed-case hash codes.

This change should have been part of f234cc891d6badb787be9922dad51e9a235b154c,
but somehow was never committed.

(I have a hard time explaining how we overlooked this...)