Modify name of definitions