Extensions not (no longer) specified twice