13 Fix encoding bugs