Minor update of documentation.