Minor change in document.