Minor modifications to jsondbactor