Corrections in program examples