Corrected example codes