Fixed gcc compilation error