diff --git a/A1_Quick_Reference.org b/A1_Quick_Reference.org
index f7eaa20f..6d44d43e 100644
--- a/A1_Quick_Reference.org
+++ b/A1_Quick_Reference.org
@@ -1,10 +1,12 @@
-#+Title: Lean Quick Reference
+#+Title: Lean 2 Quick Reference
 #+Author: [[http://www.andrew.cmu.edu/user/avigad][Jeremy Avigad]], [[http://leodemoura.github.io][Leonardo de Moura]], [[http://www.cs.cmu.edu/~soonhok][Soonho Kong]]
 #+DATE: \href{https://github.com/leanprover/tutorial/commit/\gitHash}{Version \gitAbbrevHash}, updated at \gitAuthorIsoDate
 #+OPTIONS: H:4
 
 * Quick Reference
 
+Note that this quick reference guide describes Lean 2 only.
+
 ** Displaying Information
 
 #+BEGIN_SRC text
diff --git a/header/latex_quickref.tex b/header/latex_quickref.tex
index 15f5c5b4..40464e85 100644
--- a/header/latex_quickref.tex
+++ b/header/latex_quickref.tex
@@ -35,7 +35,7 @@
 % Colors, links, syntax highlighting
 \usepackage[dvipsnames,table]{xcolor}
 \hypersetup{
-    pdftitle={Lean Quick Reference},
+    pdftitle={Lean 2 Quick Reference},
     pdfauthor={Jeremy Avigad, Leonardo de Moura, Soonho Kong},
     colorlinks,
     linkcolor=Sepia,