--- 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);
 		}