Some tweaks to renaming a project