diff --git a/scribblings/trivial.scrbl b/scribblings/trivial.scrbl
index 7fe9e18..bf460e7 100644
--- a/scribblings/trivial.scrbl
+++ b/scribblings/trivial.scrbl
@@ -3,7 +3,7 @@
 @require[scribble/eval]
 @require[scriblib/footnote]
 
-@title[#:tag "top"]{@bold{Trivial: Solving the easiest type-checking problems}}
+@title[#:tag "top"]{Trivial: Solving the easiest type-checking problems}
 @author[@hyperlink["https://github.com/bennn"]{Ben Greenman}]
 
 @defmodule[trivial]