diff --git a/Documentation/BuildInstructions.md b/Documentation/BuildInstructions.md
index 634a385c96..025780df1d 100644
--- a/Documentation/BuildInstructions.md
+++ b/Documentation/BuildInstructions.md
@@ -24,14 +24,6 @@ Now on Ubuntu or Debian you can install gcc-10 with apt like this:
 
 ```console
 sudo apt install gcc-10 g++-10
-sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-10 900 --slave /usr/bin/g++ g++ /usr/bin/g++-10
-```
-
-If you don't want to stay on the Debian testing branch you can switch back by running:
-
-```console
-sudo sed -i '$d' /etc/apt/sources.list
-sudo apt update
 ```
 
 #### QEMU 5 or later