Update JSONspec.txt