english editing

trivial stuff...