JSON encoding now uses utf8