Fix some minor errors in plugins.py.