Corrected an example