diff --git a/user-doc/go-doxygen b/user-doc/go-doxygen
index 42f07d0ddd3169b6a53656409fa2828be499247c..c58e5c1f6f081ac49a9a0a9939f9e3cbaac18107 100755
--- a/user-doc/go-doxygen
+++ b/user-doc/go-doxygen
@@ -27,7 +27,7 @@ LIST="
   # echo "LAYOUT_FILE=PlumedLayout.xml"
 } | doxygen -
 
-version=$(plumed --no-mpi info --version)
+version=v$(plumed --no-mpi info --version)
 
 # in the online manual better to put the branch name
 # which is available through the TRAVIS_BRANCH env var
@@ -40,7 +40,7 @@ do
 awk -v version="$version" '{
   if(match($0,"<span>Main&#160;Page</span>")){
     sub("Main","Home",$0);
-    sub("Page","(v"version")",$0);
+    sub("Page","("version")",$0);
     print
   } else if(match($0,"<span>Related&#160;Pages</span>")){
     print "      <li><a href=\"_syntax.html\"><span>Getting&#160;started</span></a></li>"