Very minor doc tweaks