Follow-up r99211: forgot to revert one file