fix a syntax error in the json output for -Pbvvv