Minor updates in documentation.