A few fixes of English typos and reordering of words