Minor markup upgrade for clhs library page.