EDIT: Too early in the morning. I was looking at calls. Sorry for the distraction. I'm looking at Aug 1 expiration, too, and have the premiums that I mentioned. Strange.