Small doco fixes