Update for COQ.