diff --git a/publications/pxtp21/extended_abstract.tex b/publications/pxtp21/extended_abstract.tex
index e05c4382367aad44532d56acc9295a1f7b2491fd..a2afec2a7e6f6ff101386b031e7ee787498ce1a3 100644
--- a/publications/pxtp21/extended_abstract.tex
+++ b/publications/pxtp21/extended_abstract.tex
@@ -38,7 +38,7 @@ Pascal Fontaine
 }
 
 \def\titlerunning{Towards a Generic SMT Proof Format}
-\def\authorrunning{Hans-Jörg Schurr, Mathias Fleury, Haniel Barbosa, and Pascal Fontaine}
+\def\authorrunning{Schurr, Fleury, Barbosa, and Fontaine}
 
 \begin{document}
 \maketitle