small fixes in sec. 2
small revisions in sec. 3