diff --git a/paper/ltl.pdf b/paper/ltl.pdf
index a5722a2..c4ba9a3 100644
Binary files a/paper/ltl.pdf and b/paper/ltl.pdf differ
diff --git a/paper/ltl.tex b/paper/ltl.tex
index 89be9a8..c248886 100755
--- a/paper/ltl.tex
+++ b/paper/ltl.tex
@@ -16,6 +16,8 @@
 \usepackage{booktabs}
 \usepackage{lmodern}
 \usepackage{microtype}
+% this TeX install's format ships righthyphenmin=1 ('it-s'); restore standard
+\lefthyphenmin=2 \righthyphenmin=3
 \usepackage{tikz}
 \usetikzlibrary{fit,positioning,decorations.pathreplacing}