Fix the encoding in the name of the original author

Apparently the charset of some files was not (converted to) UTF-8
along the way.