small fix in last example