doc: minor fixes.