some stylistic corrections