Update the copyright line, which I forgot to do in the last commit