Another bug fix to HTML/text self-documentation.