Nasdaq in its $1.25 billion revolving credit facility