fixes in json decoder; minor version up 0.3.3