bug in Hmap.replace