Whoever sold them those call options, at the very least.