quick fix for the encoding