Remove coq.