Minor modifications to documentation.