jsoninfo: fix a warning