Remove remark about non-terminating programs with callCC.