Some JSON definitions