Tweaks to the docs to make them correct.