diff --git a/timeline/week18.txt b/timeline/week18.txt
index d37483b5b3ee53bc3578e90f2531d8d5b8c45db2..2c52f1dce701f40bb0f7c3afc3da7e134e60a0c3 100644
--- a/timeline/week18.txt
+++ b/timeline/week18.txt
@@ -14,7 +14,15 @@ Week 18 (27.04.-03.05.)
 
 		     -> used script /ulo/coq-cut.sh
 
-		[ ] import isabelle data into graphdb
+		[~] import isabelle data into graphdb
+
+			-> importing the isabelle rdf files I get an error
+
+				org.eclipse.rdf4j.sail.SailException: Invalid IRI value
+
+			for all files; I wonder if the proposed IRI scheme is actually
+			illegal; will have to look into that
+
 
 	[ ] run all quries from ulo paper in graphdb