src/Doc/Nitpick/document/root.tex

--- a/src/Doc/Nitpick/document/root.tex	Wed Oct 09 14:51:54 2019 +0000
+++ b/src/Doc/Nitpick/document/root.tex	Thu Oct 10 16:37:52 2019 +0200
@@ -54,7 +54,7 @@
 Picking Nits \\[\smallskipamount]
 \Large A User's Guide to Nitpick for Isabelle/HOL}
 \author{\hbox{} \\
-Jasmin Christian Blanchette \\
+Jasmin Blanchette \\
 {\normalsize Institut f\"ur Informatik, Technische Universit\"at M\"unchen} \\
 \hbox{}}