Minor doco update