Bug fixed in example