diff --git a/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
index 6bf8d58a09884e9b002abcb14025525d38934741..461e1e8c7511aa5663cd45d4cdac35d133ea0b18 100644
--- a/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
+++ b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/TreeNavigation.jrag
@@ -135,7 +135,7 @@ aspect TreeNavigation {
     // update the values
     for (Route route : getRouteList()) {
       for (Sensor sensor : route.getRequiredSensorList()) {
-        routeMap.get(sensor).add(route);
+        routeMap.get(sensor.getId()).add(route);
       }
     }