Minor corrections in examples