Minor modifications added to comments