022_cars: another fix --- now it verifies!!