Hacky fix for weird encoding