Further modifications of section 7F17.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .