bug fix in the example