--- a/thys/Paper/document/root.tex	Tue Mar 01 12:10:11 2016 +0000
+++ b/thys/Paper/document/root.tex	Wed Mar 02 04:13:25 2016 +0000
@@ -13,7 +13,7 @@
 \usepackage{url}
 \usepackage{color}
 
-\titlerunning{POSIX Lexing with Derivatives}
+\titlerunning{POSIX Lexing with Derivatives of Regular Expressions}
 
 \urlstyle{rm}
 \isabellestyle{it}