typo in 18.4?

[Stephan Herrmann]

not sure whether this has been mentioned before (by me?):

This sentence in 18.4:

  For all i, (1 ≤ i ≤ n), where αi has upper bounds U1, ..., Uk,
  then define the upper bound of Zi as glb(L1θ, ..., Lkθ).

should probably say "glb(U1θ, ..., Ukθ).", right?

Stephan