--- src/extspec.c.str 2009-04-07 09:44:29.000000000 +0200 +++ src/extspec.c 2009-04-07 09:44:54.000000000 +0200 @@ -748,7 +748,7 @@ s[i]='&'; break; } - fprintf (f, s); + fprintf (f, "%s", s); } else if (rd->type == TCHAR) write_char_mif (f, rd->value.ival);