Edited typos in ssection 4.2