Tweaks to the documentation.