That was S&P. Moody's still rates the US 'Aaa'.