Fix copyright

I overlooked the copyright on my previous pull request. This one fixes it.