Fix the lazy loading of extensions