Fixed bug in example