Added a few tweaks to the documentation.