Fixed to compile with GCC