Deserialization constructor readded