coq: fix URL