A few minor doco corrections