Minor: redundant term

In the following example ........ , as follows: