Follow-up to bug #12014: Extension Manager is not translatable: corrected typo