--- src/HTML.c 2005-12-18 23:52:30.000000000 +0100
+++ src/HTML.c.oden 2008-12-21 18:59:22.000000000 +0100
@@ -2667,13 +2667,13 @@ static int HTML_start_element(HTStructur
}
}
if (seqtype == 'A') {
- sprintf(number_string, LYUppercaseA_OL_String(seqnum));
+ sprintf(number_string, "%s", LYUppercaseA_OL_String(seqnum));
} else if (seqtype == 'a') {
- sprintf(number_string, LYLowercaseA_OL_String(seqnum));
+ sprintf(number_string, "%s", LYLowercaseA_OL_String(seqnum));
} else if (seqtype == 'I') {
- sprintf(number_string, LYUppercaseI_OL_String(seqnum));
+ sprintf(number_string, "%s", LYUppercaseI_OL_String(seqnum));
} else if (seqtype == 'i') {
- sprintf(number_string, LYLowercaseI_OL_String(seqnum));
+ sprintf(number_string, "%s", LYLowercaseI_OL_String(seqnum));
} else {
sprintf(number_string, "%2d.", seqnum);
}