A few more tweaks to the documentation.