Fix encoding problem in copyright.