Revert ".sav files?"

This reverts commit fa49243ba6cb41ecfa7e2b7ba2ab63495d48f004.
Fix a lb > ub issue.