diff --git a/src/machine/m_at_socket7_3v.c b/src/machine/m_at_socket7_3v.c
index 262169010..40ae221a0 100644
--- a/src/machine/m_at_socket7_3v.c
+++ b/src/machine/m_at_socket7_3v.c
@@ -694,7 +694,6 @@ machine_at_gw2kma_init(const machine_t *model)
     pci_register_slot(0x0F, PCI_CARD_NORMAL,      3, 4, 1, 2);
     pci_register_slot(0x10, PCI_CARD_NORMAL,      4, 1, 2, 3);
     pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 4);
-
     device_add(&i430vx_device);
     device_add(&piix3_device);
     device_add(&fdc37c932fr_device);
diff --git a/src/machine/m_at_socket8.c b/src/machine/m_at_socket8.c
index 6d4776637..e6f78f6a2 100644
--- a/src/machine/m_at_socket8.c
+++ b/src/machine/m_at_socket8.c
@@ -249,7 +249,6 @@ machine_at_vs440fx_init(const machine_t *model)
     pci_register_slot(0x11, PCI_CARD_NORMAL,      3, 4, 1, 2);
     pci_register_slot(0x13, PCI_CARD_NORMAL,      2, 3, 4, 1);
     pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
-
     device_add(&i440fx_device);
     device_add(&piix3_device);
     device_add(&keyboard_ps2_intel_ami_pci_device);
@@ -284,7 +283,6 @@ machine_at_gw2kvenus_init(const machine_t *model)
     pci_register_slot(0x11, PCI_CARD_NORMAL,      3, 4, 1, 2);
     pci_register_slot(0x13, PCI_CARD_NORMAL,      2, 3, 4, 1);
     pci_register_slot(0x07, PCI_CARD_SOUTHBRIDGE, 0, 0, 0, 0);
-
     device_add(&i440fx_device);
     device_add(&piix3_device);
     device_add(&keyboard_ps2_intel_ami_pci_device);