Fix error in doc comment