If so, they passed up the opportunity to make another dumb Ohio joke:

"Ohio isn't actually square, though you wouldn't know that from talking to the inhabitants" or some such.