Fix a bug for json output