Oops copyright header nuke was too aggressive.