diff --git a/core/Tuples.carp b/core/Tuples.carp
index eb18dd97..f9992ceb 100644
--- a/core/Tuples.carp
+++ b/core/Tuples.carp
@@ -91,5 +91,5 @@ For example:
(deftuple Pair a b)
(doc Triple "is a 3-tuple, i.e. a datatype with three members.")
(deftuple Triple a b c)
-(doc Quadruple "is a 4-tuple, i.e. a datatype with three members.")
+(doc Quadruple "is a 4-tuple, i.e. a datatype with four members.")
(deftuple Quadruple a b c d)
diff --git a/docs/core/Dynamic.html b/docs/core/Dynamic.html
index 70a80cf2..006fc3ed 100644
--- a/docs/core/Dynamic.html
+++ b/docs/core/Dynamic.html
@@ -2093,6 +2093,29 @@ predicate p
.
prints all information associated with a symbol.
Example Usage:
(info mysymbol)
+
+
+
+
+ + Dynamic +
+ + + ++
prints the kind of a symbol.
+Example Usage:
+(kind mysymbol)
diff --git a/docs/core/Quadruple.html b/docs/core/Quadruple.html
index c75027a2..75635a6b 100644
--- a/docs/core/Quadruple.html
+++ b/docs/core/Quadruple.html
@@ -179,7 +179,7 @@
Quadruple
is a 4-tuple, i.e. a datatype with three members.
+is a 4-tuple, i.e. a datatype with four members.