Minor updates of documentation