proactive bug fix (bug not entered) making a short example

in semantics guide more meaningful

1 files changed, 2 insertions, 2 deletions

diff --git a/docs/progGuideDB/semantics.xml b/docs/progGuideDB/semantics.xml
index ba16b849c..b7325114e 100644
--- a/docs/progGuideDB/semantics.xml
+++ b/docs/progGuideDB/semantics.xml
@@ -621,13 +621,13 @@
           All set join points are treated as having one argument, the value the
           field is being set to, so at a set join point, that value can be
           accessed with an <literal>args</literal> pointcut.  So an aspect
-          guarding an integer variable x declared in type T might be written as
+          guarding a static integer variable x declared in type T might be written as
         </para>
 
 <programlisting><![CDATA[
   aspect GuardedX {
       static final int MAX_CHANGE = 100;
-      before(int newval): set(int T.x) && args(newval) {
+      before(int newval): set(static int T.x) && args(newval) {
 	  if (Math.abs(newval - T.x) > MAX_CHANGE)
 	      throw new RuntimeException();
       }