Minor error

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/indexes-partial.html
Description:

A sentence on this page reads:
"The system can recognize simple inequality implications, for example “x <
1” implies “x < 2”; otherwise the predicate condition must exactly match
part of the query's WHERE condition or the index will not be recognized as
usable."

I think it's supposed to read ..."x <=1" implies "x < 2"... ?