Well the passenger actually _hadn’t_ boarded. Someone else had. Their checks found the extra passenger afterwards.

The mistake was letting the original passenger on and that was fixed later.