Slight tweak to the Hash Map API.