Small doco fix