You are correct, but since some may read that and assume that all aviation fuel is leaded, I wanted to add more info.
Most people don't know that "airplane fuel" and "jet fuel" are different. Jet fuel is not leaded. The fuel used by small, piston-driven prop engines is. Because small piston aircraft still use leaded fuel, aviation is still the largest source of airborne lead emissions. The FAA is working to phase it out by 2030.