Fix a minor clean_ext error