renamed an option