diff --git a/files/bedrocklogo.gif b/files/bedrocklogo.gif
deleted file mode 100644
index 376187bf90..0000000000
Binary files a/files/bedrocklogo.gif and /dev/null differ
diff --git a/files/bluerock-logo.png b/files/bluerock-logo.png
new file mode 100644
index 0000000000..54ac0776d1
Binary files /dev/null and b/files/bluerock-logo.png differ
diff --git a/pages/consortium.html b/pages/consortium.html
index b45a53edd7..80c46c4e4a 100644
--- a/pages/consortium.html
+++ b/pages/consortium.html
@@ -67,8 +67,8 @@
     <div class="frameworklabel">Current members</div>
     <div class="frameworkcontent">
         <strong>Gold membership</strong><br />
-        <a href="https://bedrocksystems.com/"><img class="member-logo" src="files/bedrocklogo.gif" width="250px" /></a>
-        <a href="https://formalv.com/"><img class="member-logo" src="files/formalvlogo.gif" width="250px" /></a>
+        <a href="https://bluerock.io/"><img class="member-logo" src="files/bluerock-logo.png" width="250" /></a>
+        <a href="https://formalv.com/"><img class="member-logo" src="files/formalvlogo.gif" width="250" /></a>
     </div>
 </div>
 
diff --git a/pages/coq-team.html b/pages/coq-team.html
index 2660ddfac3..68fbc67309 100644
--- a/pages/coq-team.html
+++ b/pages/coq-team.html
@@ -320,7 +320,7 @@
     <div class="picture">
       <img src="/files/team/blaisorblade.png" alt="Paolo G. Giarrusso" width="200"/></div>
     <div class="name"><a href="https://github.com/Blaisorblade">Paolo G. Giarrusso</a></div><div class="nickname">blaisorblade</div>
-    <div class="position">Formal Methods Engineer at Bedrock Systems, Inc., Berlin, Germany</div>
+    <div class="position">Formal Methods Engineer at BlueRock Security, Inc., Berlin, Germany</div>
     <div class="components">VsCoq</div>
   </div>
   <div class="person">