diff --git a/collects/scribble/manual-prefix.tex b/collects/scribble/manual-prefix.tex
index ddad26f489..a9cfe74e73 100644
--- a/collects/scribble/manual-prefix.tex
+++ b/collects/scribble/manual-prefix.tex
@@ -10,3 +10,5 @@
 \advance \oddsidemargin by -0.15in
 \advance \evensidemargin by -0.15in
 \advance \textwidth by 0.3in
+
+\usepackage[utf8]{inputenc}
diff --git a/collects/scribble/scribble-prefix.tex b/collects/scribble/scribble-prefix.tex
index 55b52ddb5c..5344476693 100644
--- a/collects/scribble/scribble-prefix.tex
+++ b/collects/scribble/scribble-prefix.tex
@@ -1,2 +1,4 @@
 % This is the default prefix for Scribble-generated Latex
 \documentclass{article}
+
+\usepackage[utf8]{inputenc}