Fix a small bug in the impl of the routing system