diff --git a/README.gcc b/README.gcc
index 30d3e35..d278763 100644
--- a/README.gcc
+++ b/README.gcc
@@ -10,8 +10,8 @@ see: http://gcc.gnu.org/install/prerequisites.html
 
 On debian like systems you can run 'apt-get build-dep gcc' to install them.
 
-After this edit GCC_VERSION and so on build_gcc.sh, so it fits your requirements, then finally
+After that edit GCC_VERSION in build_gcc.sh, so it fits your requirements, then finally
 run ./build_gcc.sh to start building gcc.
 
-If everything went well, then you'll have "x86_64-apple-darwinXX-gcc, i386-apple-darwinXX-g++" and so on
-available as compiler.
+If everything went well, then you'll have "x86_64-apple-darwinXX-gcc, i386-apple-darwinXX-g++"
+(or o32-gcc, o64-g++, ... as shortcuts) available as compiler.
diff --git a/TODO b/TODO
index 1003b95..e97775a 100644
--- a/TODO
+++ b/TODO
@@ -1 +1,2 @@
 report the __block issue in unistd.h to the maintainers
+optional libc++ support (low priority)