slight doc tweaks