Rename JsonText and fix a lint warning.