corrections after renaming