diff --git a/Formula/cbmc@6.0.1.rb b/Formula/cbmc@6.0.1.rb
index 4783862..945c4c5 100644
--- a/Formula/cbmc@6.0.1.rb
+++ b/Formula/cbmc@6.0.1.rb
@@ -2,7 +2,7 @@ class CbmcAT601 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.0.1",
+      tag:      "cbmc-6.0.1",
       revision: "0761608baaa477b502c43a213a1cb31639756e95"
   license "BSD-4-Clause"
 
diff --git a/Formula/cbmc@6.1.0.rb b/Formula/cbmc@6.1.0.rb
index 1d2e8bf..027e893 100644
--- a/Formula/cbmc@6.1.0.rb
+++ b/Formula/cbmc@6.1.0.rb
@@ -2,7 +2,7 @@ class CbmcAT610 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.1.0",
+      tag:      "cbmc-6.1.0",
       revision: "737d5826d29df048493b88caad9b70aa217db687"
   license "BSD-4-Clause"
 
diff --git a/Formula/cbmc@6.1.1.rb b/Formula/cbmc@6.1.1.rb
index 7e22d32..22c66cb 100644
--- a/Formula/cbmc@6.1.1.rb
+++ b/Formula/cbmc@6.1.1.rb
@@ -2,7 +2,7 @@ class CbmcAT611 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.1.1",
+      tag:      "cbmc-6.1.1",
       revision: "b3359791bcc1a6651646920c3936ce167465db92"
   license "BSD-4-Clause"
 
diff --git a/Formula/cbmc@6.2.0.rb b/Formula/cbmc@6.2.0.rb
index 771b513..71809dc 100644
--- a/Formula/cbmc@6.2.0.rb
+++ b/Formula/cbmc@6.2.0.rb
@@ -2,7 +2,7 @@ class CbmcAT620 < Formula
   desc "C Bounded Model Checker"
   homepage "https://www.cprover.org/cbmc/"
   url "https://github.com/diffblue/cbmc.git",
-    tag:      "cbmc-6.2.0",
+      tag:      "cbmc-6.2.0",
       revision: "27b845c975c6bbdfb2ccc6f40bdfae6793d12277"
   license "BSD-4-Clause"