minor correction after d47dfa9c35

Plural is needed here. :)