Minor formatting change to JSON