Minor change to doc