Obama's announcement on bin Laden.