A renaming tool