Fix bug in extensions manager factory