The headline was changed from the original, not an uncommon practice by Reuters.