Checked in correct version of plugin.c