Fixed bug in Example