a quick renaming of an option