I’m just glad we have a president with a sense of humor.