diff --git a/Chapters/Float.lhs b/Chapters/Float.lhs
index 90abe24..cb63023 100755
--- a/Chapters/Float.lhs
+++ b/Chapters/Float.lhs
@@ -17,7 +17,7 @@ to our Agda branch which, when enabled, will float the pattern lets up through t
 
 In combination with our option:
 \begin{verbatim}
---cross-call-float                          float pattern bindings across function calls
+--cross-call-float          float pattern bindings across function calls
 \end{verbatim}
 
 bindings can also be shared across function calls.
diff --git a/Chapters/GenPlet.lhs b/Chapters/GenPlet.lhs
index 0380fca..078e91e 100755
--- a/Chapters/GenPlet.lhs
+++ b/Chapters/GenPlet.lhs
@@ -9,7 +9,7 @@ In this chapter we present our optimisation to generate pattern lets. In Section
 We added the option:
 
 \begin{verbatim}
---ghc-generate-pattern-let                  make the GHC backend generate pattern lets
+--ghc-generate-pattern-let          make the GHC backend generate pattern lets
 \end{verbatim}
 
 to our Agda branch which, when enabled, will generate pattern lets in the GHC backend during compilation.