Made json output format more formally correct.