remove redundant text

Also, this fact has already been explained in the chapter, so mention that.