Samll correction in Coq_patch/README