diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
index 0db7032b..3c0552fa 100644
--- a/collects/scribble/scribble.tex
+++ b/collects/scribble/scribble.tex
@@ -70,7 +70,7 @@
 \newcommand{\imageleft}[1]{} % drop it
 \renewcommand{\smaller}[1]{\textsmaller{#1}}
 \newcommand{\refpara}[1]{\marginpar{\raggedright \footnotesize #1}}
-\newcommand{\planetName}[1]{PLane$\!$T}
+\newcommand{\planetName}[1]{PLane\hspace{-0.1ex}T}
 
 \newcommand{\titleAndEmptyVersion}[2]{\title{#1}\maketitle}
 \newcommand{\titleAndVersion}[2]{\title{#1\\{\normalsize Version #2}}\maketitle}