Minor change in doc