bugfix in renaming of local variables