diff --git a/tlatools/org.lamport.tlatools/build.gradle b/tlatools/org.lamport.tlatools/build.gradle
index 5d07601740fcf1d8577258c5d02fc5e290bcdf93..c304e28fc3ecff02d0f94e2874fd5bac45e7699c 100644
--- a/tlatools/org.lamport.tlatools/build.gradle
+++ b/tlatools/org.lamport.tlatools/build.gradle
@@ -33,6 +33,8 @@ java {
 }
 
 javadoc {
+	// The TLA Tools source code uses unescaped HTML symbols in Javadoc text,
+	// which is considered an error.
 	failOnError = false
 }