Minor documentation improvements

See commit messages.