diff --git a/demo-config.rkt b/demo-config.rkt
index 1740e58..1fe0ff7 100644
--- a/demo-config.rkt
+++ b/demo-config.rkt
@@ -20,7 +20,6 @@
                        (assertion (host-route (bytes 192 168 1 222) 24 "wlan0")))]
            ["stockholm.ccs.neu.edu"
             (scn/union (assertion (host-route (bytes 129 10 115 94) 24 "eth0"))
-                       (assertion (host-route (bytes 192 168 56 222) 24 "vboxnet0"))
                        (assertion (gateway-route (bytes 0 0 0 0) 0 (bytes 129 10 115 1) "eth0")))]
            [else
             (error 'spawn-demo-config "No setup for hostname ~a" (gethostname))])))