Corrections to the example code