Fix error in doc.