Remove statement about non-termination.