Minor doco updates