Change of name of one of the plugins