Fixed a small bug when there is no symbol in the json file.