minor fix for json output