Small fix of annoying encoding bug