try to fix nontermination error