Some minor English clarifications