Minor modifications to jsondbactor.h