I also think he missed a flush.

On a side note, that's one draw I don't usually bet. I'd consider that gutshot, I would think a seven is quite often a dirty out.