NBC’s Brian Williams: