Fix small bug in plugin conversion