minor correction in doc