Tiny tweak to JSON collator