diff --git a/IntroToProofScripting_template.v b/IntroToProofScripting_template.v
index ef6d341..3d089d1 100644
--- a/IntroToProofScripting_template.v
+++ b/IntroToProofScripting_template.v
@@ -182,7 +182,7 @@ Section propositional.
   Admitted.
 End propositional.
 
-(* Backrtracking example #1 *)
+(* Backtracking example #1 *)
 
 Theorem m1 : True.
 Proof.