Bad renaming: fixed