diff --git a/Zawrs.pdf b/Zawrs.pdf
index 0698325..70d8f52 100644
Binary files a/Zawrs.pdf and b/Zawrs.pdf differ
diff --git a/intro.adoc b/intro.adoc
index 3c8286f..170b71d 100644
--- a/intro.adoc
+++ b/intro.adoc
@@ -27,7 +27,8 @@ stall execution in a low-power state until a store occurs to the reservation set
 Sometimes the program waiting on a memory update may also need to carry out a
 task at a future time or otherwise place an upper bound on the wait. To support
 such use cases a second instruction `WRS.STO` (WRS-with-short-timeout) is 
-provided that works like `WRS.NTO` but bounds the stall duration to a short 
-timeout such that the stall is terminated on the timeout if no other conditions
-have to occurred to terminate the stall. The program using this instruction may
-then determine if its deadline has been reached.
+provided that works like `WRS.NTO` but bounds the stall duration to an 
+implementation-define short timeout such that the stall is terminated on the 
+timeout if no other conditions have to occurred to terminate the stall. The 
+program using this instruction may then determine if its deadline has been 
+reached.