diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 05a3946044d2..ba15781ddeb9 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -201,7 +201,7 @@ jobs:
         if: ${{ success() }}
         with:
           script: |
-            const round = "${{ env.doc_version }}""
+            const round = "${{ env.doc_version }}"
             const address = "The documentation is built. It will be available, after a few minutes, here: https://cgal.github.io/${{ env.pr_number }}/"+round+"/Manual/index.html"
             github.rest.issues.createComment({
               owner: "CGAL",