That flop bet sure looks like 77 to me...if he's tag, a fold is correct, yes?