Correction of bad archive extension name.