Completed first example in doc intro