Inconsistent definitions of initial packet number

[huitema]

Section 5.7.1. defines the Initial Packet Number as:

The initial value for packet number MUST be selected randomly from a range between 0 and 2^32 -
1025 (inclusive). This value is selected so that Initial and Handshake packets exercise as many possible
values for the Packet Number field as possible.

But the specification of the initial packet in section 5.4.1. Initial Packet says:

The first Initial packet that is sent by a client contains a random 31-bit packet number. All subsequent
packets contain a packet number that is incremented by one, see (Section 5.7).

Is that a problem? Section 5.4.3. describes the initial number in the Handshake Packet as:

The first Handshake packet sent by a server contains a randomized packet number. This value is
increased for each subsequent packet sent by the server as described in Section 5.7.

This seems better...