Renamed the file from its provisional name.