Hmm, there have seemingly been some rare bugs with cards going missing after undoing. This seems like such a case, but I haven't gotten consistent enough reports to track the issue down.
If a card does go missing, just get a replacement from another deck