That joke should have been an undocumented part of his speech.