diff --git a/sys/alpha/alpha/dec_2100_a50.c b/sys/alpha/alpha/dec_2100_a50.c
index 1d406b3ce2d5..b74d2b0de7e3 100644
--- a/sys/alpha/alpha/dec_2100_a50.c
+++ b/sys/alpha/alpha/dec_2100_a50.c
@@ -198,7 +198,7 @@ dec_2100_a50_intr_map(void *arg)
 			pirq = 1;
 			break;
 		default:
-			panic("dec_2100_a50_intr_map bogus PCI pin %d\n",
+			panic("dec_2100_a50_intr_map: bogus PCI pin %d\n",
 			    cfg->intpin);
 
 		}
@@ -216,7 +216,7 @@ dec_2100_a50_intr_map(void *arg)
 			pirq = 2;
 			break;
 		default:
-			panic("dec_2100_a50_intr_map bogus PCI pin %d\n",
+			panic("dec_2100_a50_intr_map: bogus PCI pin %d\n",
 			    cfg->intpin);
 
 		};