cleaning up a repo mistake and pushing some renaming updates