I can confirm his ban is in the ban list dating back from before the existence of sourcebans. He should now be unbanned by the next map change.