diff --git a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf
index a70d7bd689313eaf720983bc70d23c225c749b18..2e0279765900bd6b6817805c57f45d7321630e6d 100644
Binary files a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf and b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.pdf differ
diff --git a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
index b621cb0b3a7e7bffd77d024659b3cbecdc0447ff..844842628556d278e2924170f4a3344fb3f29a51 100755
--- a/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
+++ b/Lectures/L29_IntroductionToVerification/IntroductionToVerification.tex
@@ -30,7 +30,7 @@
 
 \input{../def-beamer}
 
-\newcommand{\topic}{29 Introduction to Verification}
+\newcommand{\topic}{29 Introduction to Verification (Ch.\ 6)}
 
 \input{../titlepage}
 
@@ -267,7 +267,7 @@ $p.\mbox{dist}(\mbox{PointT}(llxw, llyh)) ] \leq \mbox{T}$}\\
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \begin{frame}
-\frametitle{Testing on Assignment 1 to 4}
+\frametitle{Testing on Assignment 1 to 3}
 
 \begin{itemize}