The bot has been reconfigured by the moderators recently, which requires a large amount of processing which has not completed yet. During this time, the website falls back to a more error-prone technique to determine if users are banned, which has the same result in the majority of cases. This process usually takes a couple of hours.
This person is on the grandfathered list. He was banned with the description and hasn't been unbanned since.