A minor gramatical correction

I find even minor errors distracting. We should correct them whenever possible.