diff --git a/thys/Szpilrajn/document/root.tex b/thys/Szpilrajn/document/root.tex
--- a/thys/Szpilrajn/document/root.tex
+++ b/thys/Szpilrajn/document/root.tex
@@ -1,27 +1,27 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage[T1]{fontenc}
 \usepackage{isabelle,isabellesym}
 \usepackage{url}
 
 % this should be the last package used
 \usepackage{pdfsetup}
 
 % urls in roman style, theory text in math-similar italics
 \urlstyle{rm}
 \isabellestyle{it}
 
 
 \begin{document}
 
-\title{Szpilrajn Extension Theorem}
+\title{Order Extension and Szpilrajn's Theorem}
 \author{Peter Zeller and Lukas Stevens}
 \maketitle
 
 
 % include generated text of all theories
 \input{session}
 
 \bibliographystyle{abbrv}
 \bibliography{root}
 
 \end{document}