Tweaks in the docs.