small updates of documentation