Missing words / Typo in The Erlang Type System section

[samkho]

In "The Erlang Type System" section, the 2nd paragraph below the "Erlang Type Lattice diagram" (diagram is Figure 18 in the web version on your website), it says:

Both (1 < 1.0) and (1.0 < 1) are false, and (1 =< 1.0 and 1 >= 1.0) and (1 =/= 1.0).

I believe it should instead say:

Both (1 < 1.0) and (1.0 < 1) are false, while (1 =< 1.0), (1 >= 1.0) and (1 =/= 1.0) are true.