Fix type mismatch with GCC