InvestorQ : What happens to options when there are corporate actions?