diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b460ccb8..cc1f678a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,8 +103,8 @@ jobs:
         run: opam install ${{ matrix.extra-opam }}
       - name: Install SerAPI deps
         run: |
-          opam install --ignore-constraints-on=coq --deps-only .
           opam install --ignore-constraints-on=coq --deps-only vendor/coq-lsp/coq-lsp.opam
+          opam install --ignore-constraints-on=coq,coq-lsp --deps-only .
       - name: Build SerAPI
         run: |
           opam exec -- make -j "$NJOBS" SERAPI_COQ_HOME="$SERAPI_COQ_HOME"
diff --git a/README.md b/README.md
index ae5db7a6..dc1fd0e4 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 **Note**: Coq SerAPI has now stopped development, the 0.20 release for
-Coq 8.20 will be the last managed by us. Coq SerAPI has succeeded by
-[coq-lsp](https://github.com/ejgallego/coq-lsp/), which solves many
+Coq 8.20 will be the last managed by us. Coq SerAPI has been succeeded
+by [coq-lsp](https://github.com/ejgallego/coq-lsp/), which solves many
 longstanding issues and feature requests.
 
 See https://github.com/ejgallego/coq-serapi/issues/252 for more