Minor change to jsonmain.cpp