[headers]/10 typo: "names is"

Author: cubbimew

source/lib-intro.tex

@@ -1380,8 +1380,8 @@
 it is \impldef{whether functions from Annex K of the C standard library
 are declared when \Cpp{} headers are included}
 whether any of these names
-is declared in the global namespace.
-(None of them is declared in namespace \tcode{std}.)
+are declared in the global namespace.
+(None of them are declared in namespace \tcode{std}.)
 
 \pnum
 \tref{c.annex.k.names} lists the Annex K names