small tweak in json editor table format