diff --git a/doc/bird.sgml b/doc/bird.sgml
index 70cd523f..3f239f7d 100644
--- a/doc/bird.sgml
+++ b/doc/bird.sgml
@@ -512,14 +512,14 @@ incompatible with each other (that is to prevent you from shooting in the foot).
Sets of prefixes are special: their literals does not allow ranges, but allows
prefix patterns that are written as ipaddress/pxlen{low,high}.
- Prefix ip1/len1 matches prefix pattern ip2/len2{l, h} iff
- the first min(len1, len2) bits of and len1 ≤ ip1 ≤ len2.
- A valid prefix pattern has to satisfy ip1/len1 matches prefix pattern ip2/len2{l,h} iff
+ the first min(len1, len2) bits of len1 <= ip1 <= len2.
+ A valid prefix pattern has to satisfy low <= high, but address/ is a shorthand for
- address/ (where maxlen is 32 for IPv4 and 128 for IPv6),
+ address/ (where maxlen is 32 for IPv4 and 128 for IPv6),
that means network prefix address/ and all its subnets. address/
is a shorthand for address/, that means network prefix address/
and all its supernets (network prefixes that contain it).
@@ -528,7 +528,7 @@ incompatible with each other (that is to prevent you from shooting in the foot).
prefix 1.0.0.0/8, all subprefixes of 2.0.0.0/8, all superprefixes of 3.0.0.0/8 and prefixes
[ 0.0.0.0/0{20,24} ] matches all prefixes (regardless of
IP address) whose prefix length is 20 to 24, [ 1.2.3.4/32- ] matches any prefix that contains IP address
- 1.2.3.4. 1.2.0.0/16 ˜ [ 1.0.0.0/8{ 15 , 17 } ] is true,
+ 1.2.3.4. 1.2.0.0/16 ˜ [ 1.0.0.0/8{15,17} ] is true,
but 1.0.0.0/16 ˜ [ 1.0.0.0/8- ] is false.
Cisco-style patterns like 10.0.0.0/8 ge 16 le 24 can be expressed