diff --git a/doc/purescala.rst b/doc/purescala.rst
index f26a5e228a620a6bfb0ee153a439dcf4bd5d4149..66dfadc1b82012bc3bb76829841d1738eac24105 100644
--- a/doc/purescala.rst
+++ b/doc/purescala.rst
@@ -219,6 +219,11 @@ Values
 
  val (x, y) = ...
 
+ val Cons(h, _) = ...
+
+.. note::
+ The latter two cases are actually syntactic sugar for pattern matching with one case.
+
 
 Inner Functions
 ***************