doc for the example.