Correcting minor typos in a few comments