It looks more like an algorithmic hiccup that was corrected than a ban for violating TOS. Not the same at all.
So yes, he was banned for violating the TOS.