--- a/prio/Paper/document/root.tex	Wed May 09 13:42:23 2012 +0000
+++ b/prio/Paper/document/root.tex	Fri May 11 13:26:50 2012 +0000
@@ -62,7 +62,7 @@
 were criticised as too inefficient. Our formalisation is based on
 Paulson's inductive approach to verifying protocols.\medskip
 
-{\bf Keywords:} Priority Inheritance Protocol, formal connectness proof, 
+{\bf Keywords:} Priority Inheritance Protocol, formal correctness proof, 
 real-time systems, Isabelle/HOL
 \end{abstract}