Fix copyright encoding issue