Minor bug (invalid JSON) in example code