diff --git a/cur-doc/cur/scribblings/stdlib.scrbl b/cur-doc/cur/scribblings/stdlib.scrbl
index ff0ed24..2cc2cba 100644
--- a/cur-doc/cur/scribblings/stdlib.scrbl
+++ b/cur-doc/cur/scribblings/stdlib.scrbl
@@ -7,10 +7,10 @@ Cur has a small standard library, primary for demonstration purposes.
 
 @local-table-of-contents[]
 
-@include-section{stdlib/tactics.scrbl}
 @include-section{stdlib/sugar.scrbl}
 @include-section{stdlib/bool.scrbl}
 @include-section{stdlib/nat.scrbl}
 @include-section{stdlib/maybe.scrbl}
 @include-section{stdlib/list.scrbl}
 @include-section{stdlib/typeclass.scrbl}
+@include-section{stdlib/tactics.scrbl}