Handle cancellation of leading terms.
Remove some debugging instructions.