Minor doco fixes