added import of minOfHashRef