This plugin is never used, is it?