diff --git a/Doc/lib.tex b/Doc/lib.tex
index ab89d399fbc..9e40dcdc622 100644
--- a/Doc/lib.tex
+++ b/Doc/lib.tex
@@ -1,4 +1,4 @@
-\documentstyle[twoside,openright,10pt,myformat]{report}
+\documentstyle[twoside,myformat]{report}
 
 % NOTE: this file controls which chapters/sections of the library
 % manual are actually printed.  It is easy to customize your manual
diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index ab89d399fbc..9e40dcdc622 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -1,4 +1,4 @@
-\documentstyle[twoside,openright,10pt,myformat]{report}
+\documentstyle[twoside,myformat]{report}
 
 % NOTE: this file controls which chapters/sections of the library
 % manual are actually printed.  It is easy to customize your manual