--- Gnu-Mach/linux/src/drivers/net/wd.c	2020/09/02 04:41:40	1.1
+++ Gnu-Mach/linux/src/drivers/net/wd.c	2020/09/02 04:49:06	1.1.1.2
@@ -137,7 +137,7 @@ int wd_probe1(struct device *dev, int io
 	}
 
 	if (ei_debug  &&  version_printed++ == 0)
-		printk(version);
+		printk("%s", version);
 
 	printk("%s: WD80x3 at %#3x, ", dev->name, ioaddr);
 	for (i = 0; i < 6; i++)