Add another small doc fix