Yellow card given, revoked, then given to another player: What happened?