Minor documentation fixup.