little stylistic corrections