Fixed Unicode JSON encoding problem reported by Andrey.