Remove duplicate line

Same as the third line from the bottom in the 1.23.1 section.