fix encoding

please check if this solves the problem!