On humor in the NSA