Minor fix to deserializer