Who says no one at the White House has a sense of humor?