Minor doco update.