@xiangli-cmu The JSON key name is `prevValue` for each of these fields.