bugfix: cancels caused by PeaCoq were improperly computed since recent change
bugfix: cancels caused by PeaCoq were improperly computed since recent change

Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq,Ptival/PeaCoq