diff --git a/Lectures/L05_SoftEngPrinciples/SoftEngPrinciples.tex b/Lectures/L05_SoftEngPrinciples/SoftEngPrinciples.tex
index eb20b681544dd6571b4f40a11a7c1e9977841cea..0458cb6ce5d160984d1efa7affcbf22b46b96c93 100755
--- a/Lectures/L05_SoftEngPrinciples/SoftEngPrinciples.tex
+++ b/Lectures/L05_SoftEngPrinciples/SoftEngPrinciples.tex
@@ -148,7 +148,7 @@ TBD
 \item Provide an approach to develop software, but they are more technical and
   mechanical than methods
 \item Techniques have a more restricted applicability than methods
-\item Example Hoar triple for correctness proof
+\item Example: Hoare triple for correctness proof
 \ei
   % example technique would be pre and post conditions to prove
 \item A \structure<0->{methodology} is a coherent collection of methods and