Bug fix in the plugin installer