FIxed bug in example