more minor corrections in examples