playing around with json encoding of dictionaries