diff --git a/collects/scribble/manual-prefix.tex b/collects/scribble/manual-prefix.tex
index a9cfe74e..480671a3 100644
--- a/collects/scribble/manual-prefix.tex
+++ b/collects/scribble/manual-prefix.tex
@@ -12,3 +12,4 @@
 \advance \textwidth by 0.3in
 
 \usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
diff --git a/collects/scribble/scribble-prefix.tex b/collects/scribble/scribble-prefix.tex
index 53444766..e57dd4f9 100644
--- a/collects/scribble/scribble-prefix.tex
+++ b/collects/scribble/scribble-prefix.tex
@@ -2,3 +2,4 @@
 \documentclass{article}
 
 \usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}