Add minor tweaks to the documentation.