Still more tweaks to the doc