(Hopefully!) a bug fix for a compile-err due to GCC's incomplete support