Minor simplification of example JSON