Fix an accidentally renamed variable in car rental example