Remove duplicate copyright header.

And fix constant names.