minor fix to JSON output