example-doc: Minor touches