Fix obsolete plugin name in documentation