I've been playing a good few games with a coin flip heavy deck recently. Partly this was to record some stats on heads/tails out of interest and some other recent postings, and partly because the deck is fun (Diggersby. :-))
The end result is that I noticed in a few games where I had not many coin flips that the numbers reported in the number of heads/tails at the end of the game was less than the actual reported amount.
So I've just done a test and saved game log:
* The game log shows I flipped one heads and 2 tails (+opponent flipped heads for the start)
* The end game screen showed I flipped one heads and one tails (I screen grabbed it).
I'm not posting logs/pics here, (Not sure if that is ok and don't want to name opponent), but there is definitely a bug in how those values are counted for presentation on the final screen.