diff --git a/experimental/ulo/coq-export-bugs.txt b/experimental/ulo/coq-export-bugs.txt
index 1839692c4fe0e3c8407f0d1c6b70d70bfc58f976..2840e85bc82a1847c2674a703eea62ef477b05b4 100644
--- a/experimental/ulo/coq-export-bugs.txt
+++ b/experimental/ulo/coq-export-bugs.txt
@@ -3,4 +3,5 @@
 
 - wrong ULO namespace
 
-- objects have relative URIs which is annoying
+- objects have relative URIs which is annoying; this might be annoying
+  but it is not a bug