Fixed bad copy/paste job in copyright headers