Unknown player reported

[allejo]

It's possible for a situation like this occur, however I'm not entirely sure when/why this happens... So. Lovely.

2017-07-29 16:37:18: Match Data :: League Overseer Match Report
2017-07-29 16:37:18: Match Data :: -----------------------------
2017-07-29 16:37:18: Match Data :: Match Time      : 2017-07-29 20:37:18
2017-07-29 16:37:18: Match Data :: Duration        : 15
2017-07-29 16:37:18: Match Data :: Red      Score  : 4
2017-07-29 16:37:18: Match Data :: Green    Score  : 1
2017-07-29 16:37:18: Match Data :: Red Team Players
2017-07-29 16:37:18: Match Data ::   tox [2641] (redacted)
2017-07-29 16:37:18: Match Data ::     883 seconds of estimated play time
2017-07-29 16:37:18: Match Data ::    [] ()
2017-07-29 16:37:18: Match Data ::     2158 seconds of estimated play time
2017-07-29 16:37:18: Match Data :: Green Team Players
2017-07-29 16:37:18: Match Data ::   Carioca [18036] (redacted)
2017-07-29 16:37:18: Match Data ::     867 seconds of estimated play time
2017-07-29 16:37:18: Match Data ::   Joe 90 [56128] (redacted)
2017-07-29 16:37:18: Match Data ::     840 seconds of estimated play time
2017-07-29 16:37:18: Match Data :: -----------------------------
2017-07-29 16:37:18: Match Data :: End of Match Report
2017-07-29 16:37:18: DEBUG :: League Overseer :: Reporting match data...