minor text edit and JSON formatting