Fixing a bug in VehicleManager