little fix for get_ismi_ids