diff --git a/.gitmodules b/.gitmodules
index b3db7019..b33504e5 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -12,7 +12,7 @@
 	url = https://github.com/GaloisInc/crucible.git
 [submodule "deps/llvm-pretty"]
 	path = deps/llvm-pretty
-	url = https://github.com/elliottt/llvm-pretty.git
+	url = https://github.com/GaloisInc/llvm-pretty.git
 [submodule "submodules/semmc"]
 	path = deps/semmc
 	url = git@github.com:GaloisInc/semmc.git