diff --git a/tools/postprocess.awk b/tools/postprocess.awk
index 68d6463..14fca7d 100644
--- a/tools/postprocess.awk
+++ b/tools/postprocess.awk
@@ -22,7 +22,7 @@ function replace (s, A, n, r) {
 	if (match ($0, "^\\s*([A-Za-z0-9_]+ *)at", A)) {
 		$0 = replace($0, A, 1, A[1] substr ("           ", A[1, "length"]))
 	}
-	if (match ($0, " range ([0-9]+) \\.\\. ([0-9]+)", A)) {
+	if (match ($0, "at [0-9]+ range ([0-9]+) \\.\\. ([0-9]+);", A)) {
 		$0 = replace($0, A, 2, substr (" ", A[2, "length"]) A[2])
 		$0 = replace($0, A, 1, substr (" ", A[1, "length"]) A[1])
 	}