Minor fix to the plugin API