diff --git a/docs/README.md b/docs/README.md
index 6e21abc..f31392d 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -1,5 +1,8 @@
 # Welcome to CN
 
+_These tutorials and docs were developed by Christopher Pulte, Benjamin C.
+Pierce, and Cole Schlesinger, with contributions from Elizbeth Austell._
+
 CN is an extension of the C programming language for testing and verifying the
 correctness of C code, especially on low-level systems code. Compared to
 standard C, CN checks not only that expressions and statements follow the
diff --git a/docs/getting-started/tutorials/README.md b/docs/getting-started/tutorials/README.md
index 050a345..18f6f17 100644
--- a/docs/getting-started/tutorials/README.md
+++ b/docs/getting-started/tutorials/README.md
@@ -1,8 +1,5 @@
 # CN Tutorials
 
-_These tutorials were developed by Christopher Pulte and Benjamin C. Pierce,
-with contributions from Elizbeth Austell and Cole Schlesinger._
-
 These tutorials introduce CN through a series of examples, starting with basic
 usage of CN on simple arithmetic functions and slowly moving towards more
 elaborate separation logic specifications of data structures.