json: print NULL string as empty string