Trivial change in doco.