Typos in the comments were fixed.