Fixed small error in example