More minor doc tweaks