hack to work around varying .numVehicles