--- a/prio/Paper/document/root.tex	Sun Feb 05 21:00:12 2012 +0000
+++ b/prio/Paper/document/root.tex	Mon Feb 06 12:08:35 2012 +0000
@@ -45,8 +45,8 @@
 
 \begin{abstract}
 In real-time systems with support for resource locking and for
-processes with priorities, one faces the problem of priority
-inversion. This problem can make the behaviour of processes
+processes with priorities, one faces the problem of Priority
+IBnversion. This problem can make the behaviour of processes
 unpredictable and the resulting bugs can be hard to find.  The
 Priority Inheritance Protocol is one solution implemented in many
 systems for solving this problem, but the correctness of this solution