Minor update of documentation. [skip ci]