changes (suggested) by Soren Larsen
diff --git a/Doc/lib/libimp.tex b/Doc/lib/libimp.tex
index befde61..72f71a2 100644
--- a/Doc/lib/libimp.tex
+++ b/Doc/lib/libimp.tex
@@ -2,7 +2,7 @@
 \bimodindex{imp}
 \index{import}
 
-This module provides an interface to the mechanisms use to implement
+This module provides an interface to the mechanisms used to implement
 the \code{import} statement.  It defines the following constants and
 functions: