doc: Minor fixes