Typographical glitch in cross-references

[Ludovic Courtès]

Hi,

In TeX output, cross-references to external documents yield something
like "see section XX of YY", while it should really be "see Section XX
of YY".

Thanks,
Ludovic.