Fix accidental change to copyright symbol