Update json_encode.rst