improved json map encoding decoding