remove duplicated default definition of plus()