Re: small correction

[Karl Berry]

    !                                  default font of the merged-to index.
    --- 10262,10268 ----
    !                                  roman font for the merged-from index.

Installed, thanks.

k