further fix related to #288, but on deserializer side