error in serialization: bad type tag "FOO"