Small fix in extension manager initialization.