FIX: Possible compile error in GCC