a few tweaks to the docs