Corrected example