added a utility method for lens.
fix to OptionIndex