Correctly parsing Coq programs