fix json example formatting