minor change for GCC
fix