NEWS

--- a/NEWS	Fri Nov 03 13:58:20 2017 +0100
+++ b/NEWS	Fri Nov 03 14:14:17 2017 +0100
@@ -38,7 +38,7 @@
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Completion supports theory header imports, using theory base name.
-E.g. "Prob" is completed to "HOL-Probability.Probability".
+E.g. "Prob" may be completed to "HOL-Probability.Probability".
 
 * The command-line tool "isabelle jedit" provides more flexible options
 for session selection: