Small fix to plugin.py.