diff --git a/xproc/src/main/xml/specification.xml b/xproc/src/main/xml/specification.xml
index 146ae8153..e354375c2 100644
--- a/xproc/src/main/xml/specification.xml
+++ b/xproc/src/main/xml/specification.xml
@@ -3960,8 +3960,7 @@ and extension atomic steps.
The declaration of an input identifies the name of the
port, whether or not the port accepts a sequence, whether or not the
port is a primary input port, what content types it
-accepts, and may provide a
-default connection for the port.
+accepts, and may provide a connection to default inputs for the port.
An input declaration has the following
form:
@@ -4073,17 +4072,17 @@ author to exclude some namespace declarations in inline content, see p:inli
On a p:declare-step for an atomic step, the
-p:input simply declares the input port. p:input can only declare the input port. It is a static error to attempt to
provide a connection for an input port on the declaration of an atomic
step.
-The p:pipe element is explicitly excluded from a
-declaration because it would make the default value of an input
-dependent on the execution of some part of the pipeline. Default
-values are designed so that they can be computed statically. For the very
-same reason href is neither an attribute value template
-on p:input nor on a p:document within a p:input.
+The p:pipe element is
+explicitly excluded from a declaration because it would make the
+default value of an input dependent on the execution of some part of
+the pipeline. If a runtime binding is provided for an input port, implementations
+must not attempt to dereference the default
+bindings.