Trivial doco changes