another small doc fix