Minor fixes to hashing/short-input_hashing.md