diff --git a/tools/indexheader.sed b/tools/indexheader.sed
index 9bbc8b4b36..01b80ff528 100644
--- a/tools/indexheader.sed
+++ b/tools/indexheader.sed
@@ -1,3 +1,3 @@
-s/(.*) indexheader/\\par \\textbf\{\1\}\\par/
+s/\(.*\) indexheader/\\par \\textbf\{\1\}\\par/
 
-s/(.*) xref/\1\\quad\\ref\{\1\}\\\\/
+s/\(.*\) xref/\1\\quad\\ref\{\1\}\\\\/
diff --git a/tools/makegram b/tools/makegram
old mode 100644
new mode 100755
diff --git a/tools/makexref b/tools/makexref
old mode 100644
new mode 100755
index 35bae61e8d..44d410c4dc
--- a/tools/makexref
+++ b/tools/makexref
@@ -1,6 +1,6 @@
 export LC_ALL=C
 cp ../tools/xrefbegin.tex xref.tex
 cp ../tools/alphabet xref.tmp
-cat $(cat ../tools/std.files) | sed -n -r -f ../tools/xref.sed >> xref.tmp
-sort -f < xref.tmp | sed -r -f ../tools/indexheader.sed >> xref.tex
+cat $(cat ../tools/std.files) | sed -n -f ../tools/xref.sed >> xref.tmp
+sort -f < xref.tmp | sed -f ../tools/indexheader.sed >> xref.tex
 cat ../tools/xrefend.tex >> xref.tex
diff --git a/tools/xref.sed b/tools/xref.sed
index 025cd5d135..9698c72dcf 100644
--- a/tools/xref.sed
+++ b/tools/xref.sed
@@ -1,11 +1,11 @@
 # process ordinary section headers
-s/^\\rSec[[:digit:]]\[([^]]*)\].*$/\1 xref/p
+s/^\\rSec[[:digit:]]\[\([^]]*\)\].*$/\1 xref/p
 
 # process definitions
-s/^\\definition\{[^}]*\}\{([^}]*)\}.*$/\1 xref/p
+s/^\\definition{[^}]*}{\([^}]*\)}.*$/\1 xref/p
 
 # process informative annex headers
-s/^\\infannex\{([^}]*)\}.*$/\1 xref/p
+s/^\\infannex{\([^}]*\)}.*$/\1 xref/p
 
 # process normative annex headers
-s/^\\normannex\{([^}]*)\}.*$/\1 xref/p
+s/^\\normannex{\([^}]*\)}.*$/\1 xref/p