fixed bug in example