Very minor change to the "termination proof" error message.