Some corrections in example code.