diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index 90c2359577..0e5f493f9b 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -218,7 +218,7 @@ public:
     bool is_cast() const { return m_cast; }
 };
 
-/** \brief Super class for lambda, pi and sigma */
+/** \brief Super class for lambda and pi */
 class expr_binder : public expr_composite {
     name             m_name;
     expr             m_domain;