[set ops] removed my name from the copyright header