diff --git a/howto/upgrades.md b/howto/upgrades.md
index e4e6754a8a6e6d437968765ca3eb72ee904c3c97..26789d62f8bafb0086681937424d4a6b0f9cf681 100644
--- a/howto/upgrades.md
+++ b/howto/upgrades.md
@@ -149,8 +149,6 @@ defined to `justdoit` or `rotation`:
 
 The remaining is the "manual" procedure, the KVM hosts:
 
-    ./reboot-host kvm4.torproject.org
-    ./reboot-host kvm5.torproject.org
     ./reboot-host moly.torproject.org
 
 The ganeti hosts, using Fabric: