Very small doc fix.