Fix invalid JSON in documentation.