diff --git a/cpukit/libmisc/shell/main_pci.c b/cpukit/libmisc/shell/main_pci.c
index 5946aceb33..4902ed07b9 100644
--- a/cpukit/libmisc/shell/main_pci.c
+++ b/cpukit/libmisc/shell/main_pci.c
@@ -375,7 +375,7 @@ static int shell_pci_infodev(
   printf(" PCIID:         0x%04x\n", dev->busdevfun);
   bus = dev->bus;
   if (!bus) {
-    printf(" AT BUS:        0x%x via Host Bridge\n", bus->num);
+    printf(" AT BUS:        via Host Bridge\n");
   } else {
     printf(" AT BUS:        0x%x via Bridge at [%x:%x:%x]\n", bus->num, 
            PCI_DEV_EXPAND(bus->dev.busdevfun));