Oops, fix GCC