Very minor grammatical change.