Index: gcc/doc/extend.texi
===================================================================
--- gcc/doc/extend.texi	(revision 195110)
+++ gcc/doc/extend.texi	(working copy)
@@ -10430,7 +10430,7 @@ v32qi __builtin_ia32_mpsadbw256 (v32qi,v
 v32qi __builtin_ia32_pabsb256 (v32qi)
 v16hi __builtin_ia32_pabsw256 (v16hi)
 v8si __builtin_ia32_pabsd256 (v8si)
-v16hi builtin_ia32_packssdw256 (v8si,v8si)
+v16hi __builtin_ia32_packssdw256 (v8si,v8si)
 v32qi __builtin_ia32_packsswb256 (v16hi,v16hi)
 v16hi __builtin_ia32_packusdw256 (v8si,v8si)
 v32qi __builtin_ia32_packuswb256 (v16hi,v16hi)