A tiny grammatical fix

[ci skip]