diff --git a/Docs/3rdparty.txt b/Docs/3rdparty.txt
index 22324a4fd..9fe556d1a 100644
--- a/Docs/3rdparty.txt
+++ b/Docs/3rdparty.txt
@@ -3,7 +3,7 @@ Third Party Libraries:
 Scons		1.3+
 Boost		1.37+
 sparsehash 	1.4+
-stxxl		1.2.1+
+stxxl		1.3.1+
 libz2-dev	1.0.5+
 protobuffer 2.3.0+
 zlib        1.2.3.4+
\ No newline at end of file
diff --git a/Docs/KnownBugs.txt b/Docs/KnownBugs.txt
index 35afbf188..216c8d0fe 100644
--- a/Docs/KnownBugs.txt
+++ b/Docs/KnownBugs.txt
@@ -2,4 +2,5 @@
   terminate called after throwing an instance of 'stxxl::resource_error'
   what():  Error in function void stxxl::mutex::lock() pthread_mutex_lock(&_mutex) Invalid argument
 
- This ist a known, albeit odd behavior that is caused by a bug in stxxl. It can be ignored
\ No newline at end of file
+  This ist a known, albeit odd behavior that is caused by a bug in stxxl. It can be ignored. Upgrade
+  to version 1.3.1 of stxxl.
\ No newline at end of file
diff --git a/Docs/Todo.txt b/Docs/Todo.txt
deleted file mode 100644
index 1feabcf5e..000000000
--- a/Docs/Todo.txt
+++ /dev/null
@@ -1,8 +0,0 @@
-TODO
-----
-
-Start/Endpoints of queries can only start on nodes only. Instead of selecting the nearest node the nearest edge should be selected.
-
-The server part is mostly adapted from the boost http examples. It should be replaced with a self-written front-end
-
-Use Boost to compress all in-/output streams to the file system