Fixed possible crash bug due to wrong deserialisation ...