FIX: Compile error on GCC (Philip)