diff --git a/rr_frontend/radium/src/specs.rs b/rr_frontend/radium/src/specs.rs
index e1f84f5e6e199561e08b5e15472c7f0ac2b5475e..54fa8319023f6028788aa9f5840d7b1cb460df88 100644
--- a/rr_frontend/radium/src/specs.rs
+++ b/rr_frontend/radium/src/specs.rs
@@ -2576,13 +2576,8 @@ impl CoqParam {
     }
 
     pub fn format(&self, f: &mut Formatter, make_implicits: bool) -> fmt::Result {
-        if self.implicit { 
-            if make_implicits {
-                write!(f, "`{{{}}}", self.ty)
-            }
-            else {
-                write!(f, "`({})", self.ty)
-            }
+        if self.implicit {
+            if make_implicits { write!(f, "`{{{}}}", self.ty) } else { write!(f, "`({})", self.ty) }
         } else {
             write!(f, "({} : {})", self.name, self.ty)
         }