fixing comment which was misleading due to the switch to json as OutputFormat