Minor update of documentation