Corrected error in example