trivial doco fix