Do not put the extensions twice