Various doc tweaks