Minor documentation errata.