Minor tweak to JSON