Minor modifications, and comments