[not tested] SpecificationCtrl now supports extensions