doc: Minor tweaks