Fix #897: Deserialization from 050 to 053 crashes optimizer.