diff --git a/xproc/src/main/xml/specification.xml b/xproc/src/main/xml/specification.xml
index c486b48d0..2e156df07 100644
--- a/xproc/src/main/xml/specification.xml
+++ b/xproc/src/main/xml/specification.xml
@@ -3578,10 +3578,17 @@ library <rfc2119>must</rfc2119> have unique names: it is a
 <glossterm>static error</glossterm> if any static option name is
 declared more than once in the same scope.</error></para>
 </section>
-      
+
+<section>
+<title>Scoping of imported function names</title>
+
+<para>The scope of function names imported with <tag>p:import-functions</tag> is
+limited to expressions that appear in elements and attributes that follow the
+<tag>p:import-function</tag> element, in document order, in the pipeline
+document.</para>
+
+</section>
 </section>
-    
-  
   
     <section xml:id="xml-base-attribute">
       <title>Base URIs and xml:base</title>
@@ -6706,11 +6713,13 @@ L2 contains a step C, then:</para>
 </section>
 </section>
 
-<section xml:id="p.import-functions"><title>p:import-functions</title>
+<section xml:id="p.import-functions">
+<title>p:import-functions</title>
 
 <para>An <tag>p:import-functions</tag> element identifies a library of externally
 defined functions to be imported into the pipeline. After the functions have been
-imported, they are available in the processor XPath context.</para>
+imported, they are available in the
+<link linkend="xproc-xpath-context-31">processor XPath context</link>.</para>
 
 <e:rng-pattern name="ImportFunctions"/>
 
@@ -6744,6 +6753,10 @@ in those namespaces will be loaded.
 </varlistentry>
 </variablelist>
 
+<para>Imported functions are loaded during static analysis. In particular,
+they can be used in <tag class="attribute">[p:]use-when</tag> expressions and in
+expressions that initialize static options.</para>
+
 <para>The ability to import functions is optional. <impl>Whether or not a processor
 can import functions, and if it can, what kinds of function libraries it can import
 from is <glossterm>implementation-defined</glossterm>.</impl> Pipeline authors can
@@ -6771,7 +6784,6 @@ arity). <error code="S0105">It is a <glossterm>static error</glossterm> if a fun
 imported from a library has the same name and arity as a function already imported.</error>
 </para>
 
-
 </section>
 
 <!-- ============================================================ -->
diff --git a/xproc/src/main/xml/xpath-context.xml b/xproc/src/main/xml/xpath-context.xml
index 593ee0394..586383ad0 100644
--- a/xproc/src/main/xml/xpath-context.xml
+++ b/xproc/src/main/xml/xpath-context.xml
@@ -111,7 +111,8 @@ recent bindings are visible.</para>
                 <para>The signatures of the <biblioref linkend="xpath31-functions"/> in namespaces <literal>http://www.w3.org/2005/xpath-functions</literal>,
                   <literal>http://www.w3.org/2005/xpath-functions/math</literal>, <literal>http://www.w3.org/2005/xpath-functions/map</literal> and
                   <literal>http://www.w3.org/2005/xpath-functions/array</literal>. Additionally the function signatures defined in <xref
-                    linkend="xpath-extension-functions"/>. </para>
+                    linkend="xpath-extension-functions"/>. If a pipeline loads external functions
+with <tag>p:import-functions</tag> those are available within their scope.</para>
               </listitem>
             </varlistentry>
             <varlistentry>