example-doc: some adjustments