correct some mistakes in examples