They're euro-style options, can't be exercised any time, only at expiry. This is part of the reason for the discount. The other reason is that options often lag heads if the heads have a relatively fast move because if the heads come back quickly, it can be tough to dump your options.