Update docs after fixing json formatting