That worked! After I added the card back its name briefly flashed to "unknown card", then reverted back to P or Bob, but this time when I edited the name it stuck. I was a bit apprehensive to try this, thinking that maybe it wouldn't let me re-add the deleted card, but it worked perfectly...