Except that primary_extension does not serve any purpose.