Fix a typo in hash-map.dd