>>>>> "Geoff" == Geoff Berry <gcb@cs.duke.edu> writes: Geoff> I'm working on getting serialization working, and I came across Geoff> the following bug. Geoff> Should I sumbit a PR for this? Yes, please. Thanks, Tom