oops, fix termination test