fix Hashtbl.map issue (#354)