Minor doco correction