bug fix in my_indefinite_holders