minor changes in final version