Bad extension names.