// We need this for plugins.