Update for COQ and generated COQ.