Minor updates of documentation.