cleaning up header comment in json.h