Wow stereo! Like you guys are a team or something!
That's called a dig. We do that here. It's a logical explanation for the change. The 17 times is a meaningful and direct data encoding. If he would have said it an 18th time, I'd be less inclined to believe it. But since he left the encoded 17 in tact.