We had a similar issue at Manchester last week. Apparently the Amadeus? based gate system and the BA FLY system had an inconsistent (1 different) passenger count, so we had a manual headcount and some delay while it was sorted out. Not an uncommon issue at MAN apparently.