Minor update in documentation.