minor plugins.php