MGM: JSON PRETTY added back; modified to write json without slashes.