Minor fix in Hash.get_value()