Examples in 6.5.3 do not match definition of a loop-counter

[drstaiger]

A loop counter is defined as loop control variable that is, among other conditions,

© modified in expression

The examples for rule 6-5-3 state:

Code:

for (x = 0; modify(&x); ) // Non-compliant
{
}
for (x = 0; x < 10; )
{
  x = x * 2; // Non-compliant
}

But in both cases x is not a loop counter due to condition © being not satisfied (the expression is empty, no modification of x here), and thus the rule's text is not violated.
Should the examples be changed to contain a ++x in the expression?