Minors documentation changes