Minor: redundant term

In the following example..., as follows: