--- ./src/common/Pool.h.ori	2012-04-25 22:11:26.519560373 +0200
+++ ./src/common/Pool.h	2012-04-25 22:14:02.578654087 +0200
@@ -393,7 +393,7 @@
         inline Iterator allocAppend() {
             if (pPool->poolIsEmpty()) return RTListBase<T>::begin();
             Iterator element = pPool->alloc();
-            append(element);
+            this->append(element);
             #if CONFIG_DEVMODE
             element.list = this;
             #endif // CONFIG_DEVMODE