Add missing copyright header. Thanks, Mike!