Small doc tweaks