Corrected an error in an example