Added json.dumps(…).