Or, did they show the clip of Doc's appearance on the show and then joke about it?