Hotfix encoding

Fixes an encoding issue.