Minor modifications, documentation added