diff --git a/asdf.texinfo b/asdf.texinfo
index 4eb5596f9858cb671f6801ec4d0f143fa4c82bb5..34d053867bfc9e1521563c1a3d55c647c89e4163 100644
--- a/asdf.texinfo
+++ b/asdf.texinfo
@@ -477,6 +477,9 @@ required-op := operation-name | feature
 
 simple-component-name := string
                       |  symbol
+
+method-form := (operation-name qual lambda-list &rest body)
+qual := method qualifier
 @end verbatim
 
 @subsection Serial dependencies
@@ -1477,7 +1480,7 @@ whereas this one centres on a protocol for system introspection.
 @section kmp's ``The Description of Large Systems'', MIT AI Memu 801
 
 Available in updated-for-CL form on the web at
-@url{http://world.std.com/~pitman/Papers/Large-Systems.html}
+@url{http://nhplace.com/kent/Papers/Large-Systems.html}
 
 In our implementation we borrow kmp's overall PROCESS-OPTIONS and
 concept to deal with creating component trees from defsystem surface