documentation: simplify the basic example