Small change to jsoninterface.h