Fix warning emitted when loading the extension