Tiny stylistic corrections