diff --git a/lub.cabal b/lub.cabal
--- a/lub.cabal
+++ b/lub.cabal
@@ -1,5 +1,5 @@
 Name:                lub
-Version:             0.1.3
+Version:             0.1.5
 Cabal-Version:       >= 1.2
 Synopsis:            information operators: least upper bound (lub) and greatest lower bound (glb)
 Category:            Concurrency, Data, Other
diff --git a/src/Data/Glb.hs b/src/Data/Glb.hs
--- a/src/Data/Glb.hs
+++ b/src/Data/Glb.hs
@@ -23,9 +23,10 @@
   -- | Greatest lower information bound.  Intersects information available
   -- from each argument.
   glb  :: a -> a -> a
-  -- | n-ary 'lub'.  Defaults to @foldr lub undefined@
-  glbs :: [a] -> a
-  glbs = foldr glb undefined
+  -- | n-ary 'glb' for n > 0.  Defaults to @foldr1 glb@.  Unlike @lub@, we
+  -- have no unit for 'glb'.
+  glbs1 :: [a] -> a
+  glbs1 = foldr1 glb
 
 -- | Bottom for a 'glb'.  In the form of @error \"glb: bottom (\<reason\>)\"@,
 -- though not really an error.
@@ -57,7 +58,7 @@
 instance (HasGlb a, HasGlb b) => HasGlb (Either a b) where
   Left  a `glb` Left  a' = Left  (a `glb` a')
   Right b `glb` Right b' = Right (b `glb` b')
-  _ `glb` _ = glbBottom "glb: bottom (Left/Right mismatch)"
+  _ `glb` _ = glbBottom "bottom (Left/Right mismatch)"
 
 
 -- 'glb' on representations
diff --git a/src/Data/Laxer.hs b/src/Data/Laxer.hs
--- a/src/Data/Laxer.hs
+++ b/src/Data/Laxer.hs
@@ -9,7 +9,7 @@
 -- Maintainer  :  conal@conal.net
 -- Stability   :  experimental
 -- 
--- Some lazier operations.
+-- Some laxer operations.
 -- See <http://conal.net/blog/posts/lazier-functional-programming-part-2/>
 ----------------------------------------------------------------------