Small bug in example fixed.