Which would be news to Obama.