doc: minor tweaks.