diff --git a/repos/os/run/ahci_bench.run b/repos/os/run/ahci_bench.run
index 80a5beffed..b346e31fc0 100644
--- a/repos/os/run/ahci_bench.run
+++ b/repos/os/run/ahci_bench.run
@@ -57,6 +57,7 @@ append config {
+
diff --git a/repos/os/run/ahci_blk.run b/repos/os/run/ahci_blk.run
index a993cd7bdd..a6fb826652 100644
--- a/repos/os/run/ahci_blk.run
+++ b/repos/os/run/ahci_blk.run
@@ -62,7 +62,7 @@ append config {
-
+