Updated runtime files.
diff --git a/runtime/doc/usr_41.txt b/runtime/doc/usr_41.txt
index 77f7d1c..1a4ae3d 100644
--- a/runtime/doc/usr_41.txt
+++ b/runtime/doc/usr_41.txt
@@ -1681,7 +1681,7 @@
HEADER
You will probably add new corrections to the plugin and soon have several
-versions laying around. And when distributing this file, people will want to
+versions lying around. And when distributing this file, people will want to
know who wrote this wonderful plugin and where they can send remarks.
Therefore, put a header at the top of your plugin: >