Correct JSON

This fixes a bit of JSON in the docs.