fix yet another termination problem