diff --git a/doc/manual/source/windows.rst b/doc/manual/source/windows.rst
index da0f87b68..aebdeffe2 100644
--- a/doc/manual/source/windows.rst
+++ b/doc/manual/source/windows.rst
@@ -390,7 +390,7 @@ Using the pre-packaged Vagrant box
 
 The provider for the ns-3 Vagrant box is `VirtualBox`_.
 
-The virtual machine can be downloaded via the following Vagrant command
+The reference Windows virtual machine can be downloaded via the following Vagrant command
 
 .. sourcecode:: console
 
@@ -518,7 +518,7 @@ At this point, we can clone ns-3 locally:
 
 .. sourcecode:: console
 
-    C:\Users\vagrant> git clone -b mingw_patches `https://gitlab.com/gabrielcarvfer/ns-3-dev`
+    C:\Users\vagrant> git clone `https://gitlab.com/nsnam/ns-3-dev`
     C:\Users\vagrant> cd ns-3-dev
     C:\Users\vagrant\ns-3-dev> python3 ns3 configure --enable-tests --enable-examples --enable-mpi
     C:\Users\vagrant\ns-3-dev> python3 test.py
diff --git a/doc/tutorial/source/getting-started.rst b/doc/tutorial/source/getting-started.rst
index 8f05ead4b..dbd6a3e0c 100644
--- a/doc/tutorial/source/getting-started.rst
+++ b/doc/tutorial/source/getting-started.rst
@@ -1072,8 +1072,9 @@ Note: The ns-3 script adds only the ns-3 lib directory path to the PATH,
 ensuring the ns-3 dlls will be found by running programs. If you are using CMake directly or
 an IDE, make sure to also include the path to ns-3-dev/build/lib in the PATH variable.
 
-If you are using one of Windows's terminals (CMD, PowerShell or Terminal), you can use the
-`setx<https://docs.microsoft.com/en-us/windows-server/administration/windows-commands/setx/>__`
+.. _setx : https://docs.microsoft.com/en-us/windows-server/administration/windows-commands/setx/
+
+If you are using one of Windows's terminals (CMD, PowerShell or Terminal), you can use the `setx`_
 command to change environment variables permanently or `set` to set them temporarily for that shell:
 
 .. sourcecode:: console