General: Minor changes and additions to the documentation.