Small change in doc