minor docs tuneups