Fix a couple minor issues with JSON benchmark results