diff --git a/src/HPath.hs b/src/HPath.hs
index f44872e..9e5f2ac 100644
--- a/src/HPath.hs
+++ b/src/HPath.hs
@@ -314,10 +314,6 @@ getAllParents (MkPath p)
 
 -- | Extract the directory name of a path.
 --
--- The following properties hold:
---
--- @dirname (p \<\/> a) == dirname p@
---
 -- >>> dirname (MkPath "/abc/def/dod")
 -- "/abc/def"
 -- >>> dirname (MkPath "/")