Fix mistaken encoding