Other minor docs changes.