diff -r e859879079c8 -r f9b45eac4c60 lib/scripts/keywords
--- a/lib/scripts/keywords	Fri Apr 23 21:00:28 2010 +0200
+++ b/lib/scripts/keywords	Fri Apr 23 22:39:49 2010 +0200
@@ -39,6 +39,7 @@
     elsif (m/^Outer syntax command:\s*"(.*)"\s*\((.*)\)/) {
       my $name = $1;
       my $kind = $2;
+      if ($kind eq "theory-schematic-goal") { $kind = "theory-goal"; }
       &set_keyword($name, $kind);
     }
   }