The Bloomberg financial news service says U.S. crude oil briefly jumped to $ 71.79 a barrel before easing slightly .