diff --git a/scripts/canonical-proof-suite-runner.sh b/scripts/canonical-proof-suite-runner.sh
index 14d839b..2e5bf31 100755
--- a/scripts/canonical-proof-suite-runner.sh
+++ b/scripts/canonical-proof-suite-runner.sh
@@ -88,7 +88,7 @@ BANNED=(
 parse_manifest() {
   awk '
     BEGIN { id=""; domain=""; thm=""; prover=""; proof=""; sym=""; in_entry=0 }
-    /^\s*\(entry$/ { id=""; domain=""; thm=""; prover=""; proof=""; sym=""; in_entry=1; next }
+    /^[[:space:]]*\(entry$/ { id=""; domain=""; thm=""; prover=""; proof=""; sym=""; in_entry=1; next }
     in_entry && /\(id "/              { match($0, /"[^"]*"/); id     = substr($0, RSTART+1, RLENGTH-2) }
     in_entry && /\(domain "/          { match($0, /"[^"]*"/); domain = substr($0, RSTART+1, RLENGTH-2) }
     in_entry && /\(theorem "/         { match($0, /"[^"]*"/); thm    = substr($0, RSTART+1, RLENGTH-2) }
@@ -312,7 +312,7 @@ prior_status() {
   local id="$1"
   local sc="${SIDECAR_DIR}/${id}.sidecar.a2ml"
   if [ -f "${sc}" ]; then
-    grep -E '^\s*\(status "' "${sc}" 2>/dev/null \
+    grep -E '^[[:space:]]*\(status "' "${sc}" 2>/dev/null \
       | head -1 \
       | sed -E 's/.*"([^"]+)".*/\1/'
   else
@@ -480,7 +480,7 @@ TOTAL=$(wc -l < "${TMP_RESULTS}")
   echo "| ID | Theorem | Prover | Status | Semantic | Elapsed (ms)"
   while IFS=$'\t' read -r id status elapsed prover kernel proof sem; do
     thm=$(awk -v want="${id}" '
-      /^\s*\(entry$/ { in_e=1; next }
+      /^[[:space:]]*\(entry$/ { in_e=1; next }
       in_e && /\(id "/ { match($0, /"[^"]*"/); cur=substr($0,RSTART+1,RLENGTH-2) }
       in_e && /\(theorem "/ {
         match($0, /"[^"]*"/); t=substr($0,RSTART+1,RLENGTH-2)