Index: /src/ASM/CPP2013-policy/proof.tex
===================================================================
--- /src/ASM/CPP2013-policy/proof.tex (revision 3364)
+++ /src/ASM/CPP2013-policy/proof.tex (revision 3365)
@@ -51,5 +51,5 @@
the program. This worst case is reached if at every iteration, we change the
encoding of exactly one branch instruction; since the encoding of any branch
-instructions can change first from short to absolute and then to long, there
+instruction can change first from short to absolute, and then to long, there
can be at most $2n$ changes.