diff --git a/books/free-programming-books-ja.md b/books/free-programming-books-ja.md
index 0c756aed2..b9adf9865 100644
--- a/books/free-programming-books-ja.md
+++ b/books/free-programming-books-ja.md
@@ -294,7 +294,7 @@
 
 
 ### Coq
-trl:
+
 * [ソフトウェアの基礎](http://proofcafe.org/sf) - Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, `trl:` 梅村晃広, `trl:` 片山功士, `trl:` 水野洋樹, `trl:` 大橋台地, `trl:` 増子萌, `trl:` 今井宜洋