squash another nontermination case