Minor change in documentation.