Minor error in doc