minor changes fixing GCC compilation error