Fix definition field in the json file. CAVEAT: the slashes are escaped with backslash.
Fix source field in the json file.