Small renaming of variables