Minor adjustment.
Merge remote-tracking branch 'upstream/gh-pages' into gh-pages-sgml