Fix save and restore for Infocom.