Minor tweaking in doc