diff --git a/compliance-guide.tex b/compliance-guide.tex
index 0b17c44..f8f5196 100644
--- a/compliance-guide.tex
+++ b/compliance-guide.tex
@@ -19,6 +19,11 @@ Bradley M. Kuhn \\
 Aaron Williamson \\
 Karen M. Sandler \\
 
+\vspace{1in}
+
+Copy editors of this part include: \\
+Martin Michlmayr
+
 \vspace{3in}
 
 The copyright holders of this part hereby grant the freedom to copy, modify,
diff --git a/enforcement-case-studies.tex b/enforcement-case-studies.tex
index 1399f5c..f2d9c71 100644
--- a/enforcement-case-studies.tex
+++ b/enforcement-case-studies.tex
@@ -35,6 +35,11 @@ Bradley M. Kuhn \\
 John Sullivan
 \vspace{3in}
 
+Copy editors of this part include: \\
+Martin Michlmayr
+
+\vspace{3in}
+
 The copyright holders hereby grant the freedom to copy, modify, convey,
 Adapt, and/or redistribute this work under the terms of the Creative Commons
 Attribution Share Alike 4.0 International License.  A copy of that license is
diff --git a/gpl-lgpl.tex b/gpl-lgpl.tex
index 5c53d29..fc3fe6d 100644
--- a/gpl-lgpl.tex
+++ b/gpl-lgpl.tex
@@ -39,12 +39,10 @@ Copyright \> \copyright{} 2003--2007 \>  Free Software Foundation, Inc.
 \end{tabbing}
 
 
-\vspace{1in}
+\vspace{.3in}
 
 \begin{center}
 Authors of \tutorialpartsplit{``Detailed Analysis of the GNU GPL and Related Licenses''}{this part} are: \\
-
-
 Free Software Foundation, Inc. \\
 Bradley M. Kuhn \\
 David ``Novalis'' Turner \\
@@ -52,7 +50,13 @@ Daniel B. Ravicher \\
 Tony Sebro \\
 John Sullivan
 
-\vspace{.3in}
+\vspace{.2in}
+
+Copy editors of this part include: \\
+Martin Michlmayr
+
+\vspace{.2in}
+
 
 The copyright holders of \tutorialpartsplit{``Detailed Analysis of the GNU GPL and Related Licenses''}{this part} hereby grant the freedom to copy, modify,
 convey, Adapt, and/or redistribute this work under the terms of the Creative
@@ -64,8 +68,6 @@ license is available at
 
 \bigskip
 
-\bigskip
-
 \tutorialpartsplit{This tutorial}{This part of the tutorial} gives a
 comprehensive explanation of the most popular Free Software copyright
 license, the GNU General Public License (``GNU GPL'', or sometimes just