Some minor doc tweaks.