Properly manage user option.