That it, thats the joke. I just thought the pun was funny.