diff --git a/semiring-num.cabal b/semiring-num.cabal
--- a/semiring-num.cabal
+++ b/semiring-num.cabal
@@ -1,5 +1,5 @@
 name:                semiring-num
-version:             0.9.0.0
+version:             0.9.0.1
 synopsis:            Basic semiring class and instances
 description:         Adds a basic semiring class
 homepage:            https://github.com/oisdk/semiring-num
diff --git a/src/Data/Semiring.hs b/src/Data/Semiring.hs
--- a/src/Data/Semiring.hs
+++ b/src/Data/Semiring.hs
@@ -91,9 +91,10 @@
 -- @'zero' '<.>' a = a '<.>' 'zero' = 'zero'@
 --
 -- An ordered semiring follows the laws:
--- @x '<=' y => x '<+>' z '<=' y '<+>' z@
--- @x '<=' y => x '<+>' z '<=' y '<+>' z@
--- @'zero' '<=' z '&&' x '<=' y => x '<.>' z '<=' y '<.>' z '&&' z '<.>' x '<=' z '<.>' y@
+--
+-- @x '<=' y => x '<+>' z '<=' y '<+>' z
+--x '<=' y => x '<+>' z '<=' y '<+>' z
+--'zero' '<=' z '&&' x '<=' y => x '<.>' z '<=' y '<.>' z '&&' z '<.>' x '<=' z '<.>' y@
 class Semiring a  where
     -- | The identity of '<+>'.
     zero
@@ -358,7 +359,7 @@
 -- min-plus semiring. It is a semiring where:
 --
 -- @'<+>'  = 'min'
---'zero' = ∞ -- represented by 'Nothing'
+--'zero' = ∞
 --'<.>'  = '<+>'
 --'one'  = 'zero'@
 --
@@ -378,7 +379,7 @@
 -- or max-plus semiring. It is a semiring where:
 --
 -- @'<+>'  = 'max'
---'zero' = -∞ -- represented by 'Nothing'
+--'zero' = -∞
 --'<.>'  = '<+>'
 --'one'  = 'zero'@
 --