Fix JSON formatting

Using a different code editor w/ different preferences — oops!