diff --git a/scripts/proofloc.py b/scripts/proofloc.py
index 2b0914b7113df5c766606df32b40306a7abfbb1c..34239a8e8d26961caa2add03fc49693083ced072 100755
--- a/scripts/proofloc.py
+++ b/scripts/proofloc.py
@@ -9,9 +9,9 @@ from collections import defaultdict
 
 SINGLE_LINE_PROOF_PATTERN = re.compile(
 r"""
-[ \t^]Proof\.  # Proof keyword
+([ \t]|^)Proof\.  # Proof keyword
 .*             # The actual proof.
-[ \t^.]Qed\.   # End of proof keyword.
+[ \t.]Qed\.   # End of proof keyword.
 """
 , re.VERBOSE)