fix up silly copyright header mistake