Style nit: coq -> Coq