Correct JSON

This fixes a bit of invalid JSON in the docs.