A very small grammatical correction