Small doco improvements