coq_HEAD: Update