Were they actually long PUTs? There big problem was their short stock position. The latter gets crazy quickly, as we've seen.