attempt to use nicer text encoding; though the code generated pretty json ignores it :)