Minor modifications, typos in the comments