diff --git a/src/Data/Record.hs b/src/Data/Record.hs
index b326cd5af..ebbc76ebd 100644
--- a/src/Data/Record.hs
+++ b/src/Data/Record.hs
@@ -10,11 +10,11 @@ data Record :: [*] -> * where
   RNil :: Record '[]
   RCons :: h -> Record t -> Record (h ': t)
 
-infixr 0 .:.
+infixr 0 .:
 
--- | Infix synonym for `RCons`: `a .:. b .:. RNil == RCons a (RCons b RNil)`.
-(.:.) :: h -> Record t -> Record (h ': t)
-(.:.) = RCons
+-- | Infix synonym for `RCons`: `a .: b .: RNil == RCons a (RCons b RNil)`.
+(.:) :: h -> Record t -> Record (h ': t)
+(.:) = RCons
 
 
 infix 9 :=>