Fix error in doc