Re #9640. Restore the correct version of a file.