Corrected an error in the example