fix TODO encoding