Fix small incompleteness in documentation.