A few fixups to documentation.