Did he really want to shake Trump’s hand?