Add documentation of example driver.
Add positive closure ('+').