Fixed type in JSON output