Corrected example code