Minor change in doc file