Renaming around Interfaces