PR colonist bug

[Coyotek4]

4pl game (from top to bottom: kikori, Coyotek4, BROESEL, agoodspellr); basic setting.  After the 3rd Mayor phase, spellr (who mentioned he had been having lag problems) said he thought he was cheated out of the phase.  Indeed, he only had 2 colonists on his board after that Mayor phase.

I suggested we restart, but spellr insisted we continue.  We finished the game without further incident.

I have played PR here more times than I can remember, and this is the first bug I have ever encountered with this game.  Probably just a freak occurence, but still odd.