Tweak a few extraneous copyright headers