Minor doco fix