last sentence in Def 1.1.5 and corrections in Prop 1.1.2 and few other changes