Some typos corrected in the testing files