Correcting example code