It's not a bug that we've encountered before... if you save your current game, load a previous one from before that mission, and play again from there, does it happen again?
That is indeed a weird bug, because we haven't done anything to the way the player kill count works compared to WCP/SO.