diff --git a/src/IO/Finite.agda b/src/IO/Finite.agda
index bb61640a60..80d203a5dd 100644
--- a/src/IO/Finite.agda
+++ b/src/IO/Finite.agda
@@ -55,4 +55,4 @@ putStr : String → IO {a} ⊤
 putStr s = lift′ (Prim.putStr s)
 
 putStrLn : String → IO {a} ⊤
-putStrLn s = lift′ (Prim.putStr s)
+putStrLn s = lift′ (Prim.putStrLn s)