Update json_specification.txt