Very minor docs tweaks - no functionality changes