doc: more tweaking