Possible bug in json_encode() in default_transcoder.php

[nist]

i had not, i shall give it a go,thank you, character encoding is definitely one of my weaker areas.