corrections on the examples from the file examples.txt