[Basic housekeeping] Rename bad file names and strings.