Very small doc fix