Edit page EditingTips

diff --git a/EditingTips b/EditingTips
index 9fc46534de6f0f3c43ad95fa329913dfbc436062..9c4cbfc076e4a205cde7e6b4fc4e45abae32f5df 100644 (file)
--- a/EditingTips
+++ b/EditingTips
@@ -141,7 +141,7 @@ You can use ##div##, ##span## and ##iframe## elements with any attribute, includ
 
 == Pragmas ==
 
-Wiki pages can provide special commands in their header, in the form:
+Wiki pages can specify special-purpose commands in their header.  In the form:
 
 {{{
 # <keyword> <values>