small doco fix