I had a suspicion about that based on the lack of emphasis on it- and yes, it would have been a wildly slick pun! Haha, It stuck out to me based on the information you had been talking about, I also completely agree with your original statement. Made me laugh.
