Fix bug in deserialization. Introduced during merge with upstream mym