diff -r 2c79790d270d -r 9250e546ab23 NEWS
--- a/NEWS	Mon Dec 14 14:05:31 2015 +0100
+++ b/NEWS	Tue Dec 15 14:40:36 2015 +0000
@@ -594,8 +594,8 @@
 fixpoint theorem for increasing functions in chain-complete partial
 orders.
 
-* Multivariate_Analysis/Cauchy_Integral_Thm: Complex path integrals, Cauchy's
-integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
+* Multivariate_Analysis/Cauchy_Integral_Thm: Contour integrals (= complex path integrals),
+Cauchy's integral theorem, winding numbers and Cauchy's integral formula, ported from HOL Light
 
 * Multivariate_Analysis: Added topological concepts such as connected components,
 homotopic paths and the inside or outside of a set.