diff --git a/src/muz/base/dl_context.h b/src/muz/base/dl_context.h
index 9da4700e6..9f94bd869 100644
--- a/src/muz/base/dl_context.h
+++ b/src/muz/base/dl_context.h
@@ -300,7 +300,7 @@ namespace datalog {
         /**
            Register datalog relation.
 
-           If names is true, we associate the predicate with its name, so that it can be 
+           If named is true, we associate the predicate with its name, so that it can be 
            retrieved by the try_get_predicate_decl() function. Auxiliary predicates introduced
            e.g. by rule transformations do not need to be named.
          */
diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h
index 2dffa04f6..268cc602e 100644
--- a/src/muz/rel/dl_base.h
+++ b/src/muz/rel/dl_base.h
@@ -88,7 +88,7 @@ namespace datalog {
         typedef typename Traits::signature signature; //this must be a vector-like type
 
         /**
-           The client submits an initial class to be used as a base for signature. Then we excend it by
+           The client submits an initial class to be used as a base for signature. Then we extend it by
            the common signature methods into a signature_base class which then the client inherits from
            to obtain the actual signature class.
         */
@@ -470,7 +470,7 @@ namespace datalog {
                \brief fast emptiness check. This may be partial.
                The requirement is that if fast_empty returns true 
                then the table or relation is in fact empty.
-               It is allowed to return false even if the relation is non-empty.
+               It is allowed to return false even if the relation is empty.
             */
             virtual bool fast_empty() const { return empty(); }