Update specs to reflect duplicate extension fix