@xiangli-cmu Good point. I hate how JSON serialization dictates design choices. :)