Fix #1201 (JSON output in `ia`)