Minor documentation fixups and additions