Controlling the key name in JSON output