Added formula restoration to bootstrapping procedure.