Renaming some examples