Using Save As to rename a recovery file does not work, but using the save as button does