Minor: Copyright header fixup