Added sections to JSON encoding