Fix the code example of the ADT json article